New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix ABNF (see #520) #521

Merged

mnot merged 1 commit into master from reschke-hs-3

Mar 27, 2018

Contributor

reschke commented Mar 19, 2018

underscores
case insensitivity (char vs CHAR)
also attempts to clarify ch(a)r / unescaped production a bit


          fix ABNF (see #520)

7072b09

- underscores
- case insensitivity (char vs CHAR)
- also attempts to clarify ch(a)r / unescaped production a bit

mnot added the header-structure label

mnot self-assigned this

mnot merged commit bd7cc5b into master

Member

mnot commented Mar 27, 2018

Thanks!

mnot deleted the reschke-hs-3 branch

April 9, 2018 23:43

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment